Data consistency

Results: 317



#Item
61Data types / Transaction processing / Type theory / Concurrency control / Consistency model / Eventual consistency / Denotational semantics / Extensible Storage Engine / Primitive data type / Parallel computing / Type system / Causal consistency

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2015-01-16 15:25:14
62

Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:06
    63Distributed data storage / Computing / Concurrent computing / Distributed computing / Tapestry / Key-based routing / Distributed hash table / Peer-to-peer / Scalability / Routing / Chord / Eventual consistency

    Enforcing Routing Consistency in Structured Peer-to-Peer Overlays: Should We and Could We? Wei Chen Xuezheng Liu Microsoft Research Asia {weic, xueliu}@microsoft.com

    Add to Reading List

    Source URL: iptps06.cs.ucsb.edu

    Language: English - Date: 2006-02-15 01:41:08
    64Distributed computing architecture / Fault-tolerant computer systems / NoSQL / Data management / Consistency model / Transaction processing / Replication / Eventual consistency / Database / Distributed database / Tablet computer / Scalability

    PNUTS: Yahoo!’s Hosted Data Serving Platform Brian F. Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver and Ramana Yerneni Yahoo! Research A

    Add to Reading List

    Source URL: css.csail.mit.edu

    Language: English - Date: 2014-12-08 14:33:01
    65

    Transactional Consistency and Automatic Management in an Application Data Cache Dan R. K. Ports Austin T. Clements

    Add to Reading List

    Source URL: www.news.cs.nyu.edu

    Language: English - Date: 2010-09-23 11:16:31
      66Computing / Data types / Software engineering / Computer programming / Abstract data types / Fault-tolerant computer systems / Type theory / Consistency model / Transaction processing / Replication / String / List

      Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2013-11-14 12:44:57
      67

      GeneMark-RC, a Recursive Procedure for Gene Identi cation in the Genomic Sequence Data with Self-Consistency Evaluation; Its Application to the Analysis of Several Prokaryotic Genomes Makoto Hirosawa 1

      Add to Reading List

      Source URL: www.jsbi.org

      Language: English - Date: 1998-03-31 03:49:19
        68Computing / Concurrent computing / Software engineering / Parallel computing / Type theory / Data types / Distributed computing architecture / Benchmark / Type system / Type inference / Consistency model / Shared memory

        Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

        Add to Reading List

        Source URL: titanium.cs.berkeley.edu

        Language: English - Date: 2014-04-29 06:11:56
        69Transaction processing / Computing / Data management / Data / Schedule / Consistency model / Readwrite conflict / Writeread conflict / Snapshot isolation / Isolation / Database transaction / Replication

        A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

        Add to Reading List

        Source URL: software.imdea.org

        Language: English - Date: 2015-08-30 02:56:47
        70Transaction processing / Data management / Consistency model / Eventual consistency / Consistency / Causal consistency / Atomicity / ACE / Axiom / Formalism / Scalability / Database

        Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR

        Add to Reading List

        Source URL: software.imdea.org

        Language: English - Date: 2013-04-08 12:27:08
        UPDATE